|
In the mathematical discipline of graph theory, a vertex cover (sometimes node cover) of a graph is a set of vertices such that each edge of the graph is incident to at least one vertex of the set. The problem of finding a minimum vertex cover is a classical optimization problem in computer science and is a typical example of an NP-hard optimization problem that has an approximation algorithm. Its decision version, the vertex cover problem, was one of Karp's 21 NP-complete problems and is therefore a classical NP-complete problem in computational complexity theory. Furthermore, the vertex cover problem is fixed-parameter tractable and a central problem in parameterized complexity theory. The minimum vertex cover problem can be formulated as a half-integral linear program whose dual linear program is the maximum matching problem. == Definition == Formally, a vertex cover of an undirected graph is a subset of such that , that is to say it is a set of vertices where every edge has at least one endpoint in the vertex cover . Such a set is said to ''cover'' the edges of . The following figure shows two examples of vertex covers, with some vertex cover marked in red. :File:Vertex-cover.svg A ''minimum vertex cover'' is a vertex cover of smallest possible size. The vertex cover number is the size of a minimum vertex cover, i.e. . The following figure shows examples of minimum vertex covers in the previous graphs. :File:Minimum-vertex-cover.svg 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「vertex cover」の詳細全文を読む スポンサード リンク
|